Virtema, P.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Weak models of distributed computing, with connections to modal logic

Hella, Lauri, Järvisalo, Matti, Kuusisto, Antti, Laurinharju, Juhana, Lempiäinen, Tuomo, Luosto, Kerkko, Suomela, Jukka, Virtema, Jonni

Journal:

Distributed Computing

Year:

2015

Language:

english

File:

PDF, 765 KB

english, 2015

2

Vibration-induced white finger syndrome and carpal tunnel syndrome among Finnish metal workers

Riitta Sauni, Rauno Pääkkönen, Pauliina Virtema, Ville Jäntti, Mika Kähönen, Esko Toppila, Ilmari Pyykkö, Jukka Uitti

Journal:

International Archives of Occupational and Environmental Health

Year:

2009

Language:

english

File:

PDF, 301 KB

english, 2009

3

Quality of life (EQ-5D) and hand-arm vibration syndrome

Riitta Sauni, Pauliina Virtema, Rauno Pääkkönen, Esko Toppila, Ilmari Pyykkö, Jukka Uitti

Journal:

International Archives of Occupational and Environmental Health

Year:

2010

Language:

english

File:

PDF, 219 KB

english, 2010

4

The effects of secondhand smoke exposure on HRCT findings among asbestos-exposed workers

Tuula Vierikko, Ritva Järvenpää, Jukka Uitti, Pauliina Virtema, Panu Oksa, Maritta S. Jaakkola, Taina Autti, Tapio Vehmas

Journal:

Respiratory Medicine

Year:

2008

Language:

english

File:

PDF, 312 KB

english, 2008

5

Complexity of two-variable dependence logic and IF-logic

Kontinen, Juha, Kuusisto, Antti, Lohmann, Peter, Virtema, Jonni

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 487 KB

english, 2014

6

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Complexity of Two-Variable Dependence Logic and IF-Logic

Kontinen, Juha, Kuusisto, Antti, Lohmann, Peter, Virtema, Jonni

Year:

2011

Language:

english

File:

PDF, 509 KB

english, 2011

7

Audit of quality of diagnostic procedures for occupational asthma

Sauni, R., Kauppi, P., Helaskoski, E., Virtema, P., Verbeek, J.

Journal:

Occupational Medicine

Year:

2009

Language:

english

File:

PDF, 76 KB

english, 2009

8

Dose-Response Relationship Between Exposure to Hand-arm Vibration and Health Effects among Metalworkers

Sauni, R., Paakkonen, R., Virtema, P., Toppila, E., Uitti, J.

Journal:

The Annals of Occupational Hygiene

Year:

2008

Language:

english

File:

PDF, 121 KB

english, 2008

9

[ACM Press the 2012 ACM symposium - Madeira, Portugal (2012.07.16-2012.07.18)] Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12 - Weak models of distributed computing, with connections to modal logic

Hella, Lauri, Järvisalo, Matti, Kuusisto, Antti, Laurinharju, Juhana, Lempiäinen, Tuomo, Luosto, Kerkko, Suomela, Jukka, Virtema, Jonni

Year:

2012

Language:

english

File:

PDF, 766 KB

english, 2012

10

[IEEE 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - Kassel, Germany (2015.9.23-2015.9.25)] 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) - A Team Based Variant of CTL

Krebs, Andreas, Meier, Arne, Virtema, Jonni

Year:

2015

Language:

english

File:

PDF, 252 KB

english, 2015

11

Psychological impact of computed tomography screening for lung cancer and occupational pulmonary disease among asbestos-exposed workers

Vierikko, Tuula, Kivistö, Sirkku, Järvenpää, Ritva, Uitti, Jukka, Oksa, Panu, Virtema, Pauliina, Vehmas, Tapio

Journal:

European Journal of Cancer Prevention

Year:

2009

Language:

english

File:

PDF, 66 KB

english, 2009

12

Complexity of validity for propositional dependence logics

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 674 KB

english, 2016

13

Boolean dependence logic and partially-ordered connectives

Ebbing, Johannes, Hella, Lauri, Lohmann, Peter, Virtema, Jonni

Journal:

Journal of Computer and System Sciences

Year:

2017

Language:

english

File:

PDF, 1.08 MB

english, 2017

14

Complexity of Propositional Logics in Team Semantic

Hannula, Miika, Kontinen, Juha, Virtema, Jonni, Vollmer, Heribert

Journal:

ACM Transactions on Computational Logic

Year:

2018

Language:

english

File:

PDF, 250 KB

english, 2018

15

Approximation and dependence via multiteam semantics

Durand, Arnaud, Hannula, Miika, Kontinen, Juha, Meier, Arne, Virtema, Jonni

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2018

Language:

english

File:

PDF, 1.63 MB

english, 2018

16

Model checking and validity in propositional and modal inclusion logics

Hella, Lauri, Kuusisto, Antti, Meier, Arne, Virtema, Jonni

Journal:

Journal of Logic and Computation

Year:

2019

Language:

english

File:

PDF, 515 KB

english, 2019

17

Characterising modal definability of team-based logics via the universal modality

Sano, Katsuhiko, Virtema, Jonni

Journal:

Annals of Pure and Applied Logic

Year:

2019

Language:

english

File:

PDF, 648 KB

english, 2019

18

Polyteam semantics

Hannula, Miika, Kontinen, Juha, Virtema, Jonni

Journal:

Journal of Logic and Computation

Year:

2020

File:

PDF, 335 KB

2020